3661. Recent trends in algebraic development techniques
پدیدآورنده: Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
3662. Recent trends in algebraic development techniques
پدیدآورنده: / Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.).
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Computer science, -- Congresses, -- Mathematics,a05,Computer software--Development--Congresses.,Abstract data types (Computer science)--Congresses.
رده :
QA76
.
751
.
W32
2004
3663. Recent trends in algebraic development techniques
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
3664. Recent trends in algebraic development techniques :
پدیدآورنده: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
3665. Recent trends in algebraic development techniques
پدیدآورنده: / Maura Cerioli, Gianna Reggio (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2001
3666. Recent trends in algebraic development techniques : 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004 : revised selected papers
پدیدآورنده: Jose Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
3423
3667. Recent trends in algebraic development techniques : 14th International Workshop, WADT'99, Chateau de Bonas, September 15-18, 1999 : selected papers
پدیدآورنده: Didier Bert, Christine Choppy, Peter Mosses )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1827
3668. Recent trends in algebraic development techniques : 13th International Workshop, WADT'98, Lisbon, Portugal, April 2-4, 1998: selected papers
پدیدآورنده: Jose Luiz Fiadeiro )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1589
3669. Recent trends in algebraic development techniques : 12th International Workshop, WADT'97, Tarquinia, Italy, June 3-7, 1997 : selected papers
پدیدآورنده: Francesco Parisi Presicce, )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
1376
3670. Recent trends in algebraic development techniques : 15th international Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers
پدیدآورنده: Maura Cerioli, Gianna Reggio )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Abstract data types )Computer science(,Congresses ، Computer science -- Mathematics,Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
2267
3671. Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers
پدیدآورنده: Martin Wirsing, Dirk Pattinson, Rolf Hennicker )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Computer science -- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
L28
Vol
.
2755
3672. Recent trends in algebraic development techniques: 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001: selected papers
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Computer software-- Development,Congresses ، Computer science-- Mathematics,Congresses ، Abstract data types )Computer science(
رده :
QA
76
.
76
.
D47
.
W33
2001
3673. Rechnen in der Chemie :
پدیدآورنده: von Walter Wittenberger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Chemistry -- Mathematics.,Computer science.,Mathematics.
رده :
QD42
.
V669
1971
3674. Reconsidering conceptual change :
پدیدآورنده: edited by Margarita Limón and Lucia Mason.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Cognition in children.,Concept learning.,Learning, Psychology of.,Cognition in children.,Concept learning.,EDUCATION-- Educational Psychology.,Learning, Psychology of.
رده :
LB1062
.
R42
2002eb
3675. Recurrence Relations for the Moments of Order Statistics from The Beta Exponential-Geometric Distribution
پدیدآورنده: Ali Jaleel Najm,Jaleel Najm,
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: beta exponential-geometric distribution, single and product moments, order statistics.,توزیع بتا نمایی-هندسی، گشتاورهای اصلی و حاصلضربی، آماره مرتب.
3676. Recursive function theory and logic
پدیدآورنده: Yasuhara, Ann
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y38
3677. Recursive function theory and logic
پدیدآورنده: Yasuhara, Ann.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursive functions,، Logic, Symbolic and mathematical
رده :
QA
248
.
5
.
Y36
3678. Reference data for engineers :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Electronics.,Telecommunication.,Computer engineering.,Electronics.,TECHNOLOGY & ENGINEERING-- Electrical.,Telecommunication.
رده :
TK6552
.
F4
2002eb
3679. Regional Conference on Science, Technology and Social Sciences (RCSTSS 2016) :
پدیدآورنده: Nor Azizah Yacob [and four others] editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Science, Congresses.,Technology, Congresses.,SCIENCE-- Essays.,SCIENCE-- Reference.,Science.,Technology.
رده :
Q101
